Optimal. Leaf size=74 \[ \frac {3 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )}{4 c e}-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 74, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 5, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.417, Rules used = {2436, 2333,
2336, 2211, 2235} \begin {gather*} \frac {3 \sqrt {\pi } \text {Erfi}\left (\sqrt {\log (c (d+e x))}\right )}{4 c e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2211
Rule 2235
Rule 2333
Rule 2336
Rule 2436
Rubi steps
\begin {align*} \int \log ^{\frac {3}{2}}(c (d+e x)) \, dx &=\frac {\text {Subst}\left (\int \log ^{\frac {3}{2}}(c x) \, dx,x,d+e x\right )}{e}\\ &=\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}-\frac {3 \text {Subst}\left (\int \sqrt {\log (c x)} \, dx,x,d+e x\right )}{2 e}\\ &=-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}+\frac {3 \text {Subst}\left (\int \frac {1}{\sqrt {\log (c x)}} \, dx,x,d+e x\right )}{4 e}\\ &=-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}+\frac {3 \text {Subst}\left (\int \frac {e^x}{\sqrt {x}} \, dx,x,\log (c (d+e x))\right )}{4 c e}\\ &=-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}+\frac {3 \text {Subst}\left (\int e^{x^2} \, dx,x,\sqrt {\log (c (d+e x))}\right )}{2 c e}\\ &=\frac {3 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )}{4 c e}-\frac {3 (d+e x) \sqrt {\log (c (d+e x))}}{2 e}+\frac {(d+e x) \log ^{\frac {3}{2}}(c (d+e x))}{e}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 63, normalized size = 0.85 \begin {gather*} \frac {3 \sqrt {\pi } \text {erfi}\left (\sqrt {\log (c (d+e x))}\right )+2 c (d+e x) \sqrt {\log (c (d+e x))} (-3+2 \log (c (d+e x)))}{4 c e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int \ln \left (c \left (e x +d \right )\right )^{\frac {3}{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.27, size = 70, normalized size = 0.95 \begin {gather*} \frac {2 \, {\left (c x e + c d\right )} {\left (2 \, \log \left (c x e + c d\right )^{\frac {3}{2}} - 3 \, \sqrt {\log \left (c x e + c d\right )}\right )} e^{\left (-1\right )} - 3 i \, \sqrt {\pi } \operatorname {erf}\left (i \, \sqrt {\log \left (c x e + c d\right )}\right ) e^{\left (-1\right )}}{4 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 74.03, size = 105, normalized size = 1.42 \begin {gather*} \begin {cases} \tilde {\infty } x & \text {for}\: c = 0 \\x \log {\left (c d \right )}^{\frac {3}{2}} & \text {for}\: e = 0 \\\frac {\left (- \sqrt {- \log {\left (c d + c e x \right )}} \left (c d + c e x\right ) \left (\log {\left (c d + c e x \right )} - \frac {3}{2}\right ) + \frac {3 \sqrt {\pi } \operatorname {erfc}{\left (\sqrt {- \log {\left (c d + c e x \right )}} \right )}}{4}\right ) \log {\left (c d + c e x \right )}^{\frac {3}{2}}}{c e \left (- \log {\left (c d + c e x \right )}\right )^{\frac {3}{2}}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.17, size = 82, normalized size = 1.11 \begin {gather*} \frac {{\ln \left (c\,\left (d+e\,x\right )\right )}^{3/2}\,\left (\frac {3\,\sqrt {\pi }\,\mathrm {erfc}\left (\sqrt {-\ln \left (c\,\left (d+e\,x\right )\right )}\right )}{4}+c\,\left (\frac {3\,\sqrt {-\ln \left (c\,\left (d+e\,x\right )\right )}}{2}+{\left (-\ln \left (c\,\left (d+e\,x\right )\right )\right )}^{3/2}\right )\,\left (d+e\,x\right )\right )}{c\,e\,{\left (-\ln \left (c\,\left (d+e\,x\right )\right )\right )}^{3/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________